#include<bits/stdc++.h>

using namespace std;
typedef long long ll;


int main() {
    int a[10] = {0, 1,};
    for (int i = 2; i <= 9; i++)a[i] = a[i - 1] * i;

    int n = 129;
    for (int i = 9; i >= 1; i--) {
        if (a[i] <= n) {
            n -= a[i];
            cout << "select  " << a[i] << endl;
        }
    }

    if (n == 0) {
        cout << "Yes" << endl;
    } else {
        cout << "No" << endl;
    }


    return 0;
}